<html>
<head><meta charset="utf-8"><title>meeting 2019.06.03 · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E06.2E03.html">meeting 2019.06.03</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="167214774"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.06.03/near/167214774" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E06.2E03.html#167214774">(Jun 03 2019 at 17:59)</a>:</h4>
<p>Hey <span class="user-group-mention" data-user-group-id="692">@WG-traits</span>! Sync meeting time?</p>



<a name="167214872"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.06.03/near/167214872" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E06.2E03.html#167214872">(Jun 03 2019 at 18:00)</a>:</h4>
<p>I have a few announcements:</p>
<ul>
<li>I've been working on some blog posts regarding the "floundering" concept that I discussed last time, which I think addresses the problems we saw around built-in bounds</li>
<li>I've also been thinking a lot about region constraints and mocked up some ideas for a solution there too, but I've not had time to try and write those down</li>
</ul>



<a name="167214920"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.06.03/near/167214920" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E06.2E03.html#167214920">(Jun 03 2019 at 18:01)</a>:</h4>
<p>I've <em>not</em> done a good job of giving a lot of feedback or reviews -- in particular I know I owe <span class="user-mention" data-user-id="124069">@Alexander Regueiro</span> a review or 200, <span class="user-mention" data-user-id="116108">@Keith Yeung</span> some feedback on objects, and <span class="user-mention" data-user-id="129457">@Florian Diebold</span> some feedback on fuel or something like that :)</p>



<a name="167214998"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.06.03/near/167214998" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E06.2E03.html#167214998">(Jun 03 2019 at 18:02)</a>:</h4>
<p>(We do have the zoom call thing in ~30 minutes, if people are around and interested, we could talk some about the floundering / region constraints stuff, or other things.)</p>



<a name="167215012"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.06.03/near/167215012" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E06.2E03.html#167215012">(Jun 03 2019 at 18:02)</a>:</h4>
<p>How's everybody else going? :)</p>



<a name="167215079"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.06.03/near/167215079" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E06.2E03.html#167215079">(Jun 03 2019 at 18:03)</a>:</h4>
<p>That's alright. :-)</p>



<a name="167215082"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.06.03/near/167215082" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E06.2E03.html#167215082">(Jun 03 2019 at 18:03)</a>:</h4>
<p>I have to jet now, sorry...</p>



<a name="167215087"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.06.03/near/167215087" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E06.2E03.html#167215087">(Jun 03 2019 at 18:03)</a>:</h4>
<p>maybe next week  will be around</p>



<a name="167215151"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.06.03/near/167215151" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E06.2E03.html#167215151">(Jun 03 2019 at 18:04)</a>:</h4>
<p>(I did at least spend an hour or so commenting the relevant code on <span class="user-mention" data-user-id="124069">@Alexander Regueiro</span>'s PR :)</p>



<a name="167215170"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.06.03/near/167215170" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E06.2E03.html#167215170">(Jun 03 2019 at 18:04)</a>:</h4>
<p>yeah, that's much appreciated!</p>



<a name="167215308"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.06.03/near/167215308" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E06.2E03.html#167215308">(Jun 03 2019 at 18:06)</a>:</h4>
<p>but to summarise:<br>
1) waiting for some checks on the last few commits on my ATB PR, and a push, both from Niko. then it's "LGTM" I believe.<br>
2) advice on traits upcasting<br>
3) decide what I can do next. maybe fixing impl-trait-in-bindings with notes from Niko,  maybe just leaving this to him. alternatively, the invariant lifetimes issue or other minor ones I have on  my to-do list.</p>



<a name="167215323"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.06.03/near/167215323" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E06.2E03.html#167215323">(Jun 03 2019 at 18:06)</a>:</h4>
<p>I'll try to carve out some time for the trait upcasting things too</p>



<a name="167215335"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.06.03/near/167215335" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E06.2E03.html#167215335">(Jun 03 2019 at 18:06)</a>:</h4>
<p>thanks!</p>



<a name="167215343"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.06.03/near/167215343" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E06.2E03.html#167215343">(Jun 03 2019 at 18:06)</a>:</h4>
<p><span class="user-mention" data-user-id="117350">@Sunjay Varma</span> we had talked about doing some stuff with specialiation -- do you still feel like you might have time to explore that :)</p>



<a name="167215349"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.06.03/near/167215349" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E06.2E03.html#167215349">(Jun 03 2019 at 18:07)</a>:</h4>
<p>anyway have a good meeting folks, bye!</p>



<a name="167215365"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.06.03/near/167215365" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E06.2E03.html#167215365">(Jun 03 2019 at 18:07)</a>:</h4>
<p>Also, does it make sense to try and do a zoom call later today?</p>



<a name="167215466"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.06.03/near/167215466" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E06.2E03.html#167215466">(Jun 03 2019 at 18:08)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> Yes! I'll be honest I've been a bit stumped on what to do first. I feel like I'm starting to get a good handle on the RFC/existing code, so I guess the next step is to start to develop rules? Do you still want to use the specialization forest that chalk is generating now?</p>



<a name="167215476"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.06.03/near/167215476" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E06.2E03.html#167215476">(Jun 03 2019 at 18:08)</a>:</h4>
<p>I forget where exactly we left off on that</p>



<a name="167215488"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.06.03/near/167215488" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E06.2E03.html#167215488">(Jun 03 2019 at 18:08)</a>:</h4>
<p>(It's been a few weeks since we last talked about this!)</p>



<a name="167215503"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.06.03/near/167215503" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E06.2E03.html#167215503">(Jun 03 2019 at 18:08)</a>:</h4>
<p>yeah tbh I don't remember either :)</p>



<a name="167215516"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.06.03/near/167215516" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E06.2E03.html#167215516">(Jun 03 2019 at 18:08)</a>:</h4>
<p>I've not had time to re-read <span class="user-mention" data-user-id="116010">@Aaron Turon</span>'s blog post etc</p>



<a name="167215533"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.06.03/near/167215533" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E06.2E03.html#167215533">(Jun 03 2019 at 18:08)</a>:</h4>
<p>but I <em>think</em> I was thinking -- ah yes I vaguely remember now --</p>



<a name="167215564"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.06.03/near/167215564" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E06.2E03.html#167215564">(Jun 03 2019 at 18:09)</a>:</h4>
<p>that I thought the best starting point would be to try and imagine that some oracle was telling us which impl specializes which</p>



<a name="167215578"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.06.03/near/167215578" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E06.2E03.html#167215578">(Jun 03 2019 at 18:09)</a>:</h4>
<p>and to work instead on augmenting the rules in chalk to do the right thing if we knew that information</p>



<a name="167215592"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.06.03/near/167215592" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E06.2E03.html#167215592">(Jun 03 2019 at 18:09)</a>:</h4>
<p>and <em>then</em> to worry about the soundness problems, which amount to making certain specializations illegal</p>



<a name="167215603"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.06.03/near/167215603" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E06.2E03.html#167215603">(Jun 03 2019 at 18:09)</a>:</h4>
<p>not sure how much of that I communicated</p>



<a name="167215698"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.06.03/near/167215698" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E06.2E03.html#167215698">(Jun 03 2019 at 18:10)</a>:</h4>
<p>Oh, <span class="user-mention" data-user-id="125131">@detrumi</span> -- I see you were working on reorganizing the tests...</p>



<a name="167215767"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.06.03/near/167215767" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E06.2E03.html#167215767">(Jun 03 2019 at 18:11)</a>:</h4>
<p>That's a good starting point! I'll see what I can do :)</p>



<a name="167215813"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.06.03/near/167215813" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E06.2E03.html#167215813">(Jun 03 2019 at 18:12)</a>:</h4>
<p>I'll reach out with any questions I have as they come up</p>



<a name="167215818"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.06.03/near/167215818" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E06.2E03.html#167215818">(Jun 03 2019 at 18:12)</a>:</h4>
<p>Thanks! :D</p>



<a name="167215831"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.06.03/near/167215831" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E06.2E03.html#167215831">(Jun 03 2019 at 18:12)</a>:</h4>
<p>/me writes down everything Niko just said so I don't forget</p>



<a name="167215900"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.06.03/near/167215900" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E06.2E03.html#167215900">(Jun 03 2019 at 18:13)</a>:</h4>
<p><span class="user-mention" data-user-id="117350">@Sunjay Varma</span> <a href="https://github.com/rust-lang/chalk/issues/219#issuecomment-489204802" target="_blank" title="https://github.com/rust-lang/chalk/issues/219#issuecomment-489204802">take a look at this comment</a></p>



<a name="167216004"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.06.03/near/167216004" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E06.2E03.html#167216004">(Jun 03 2019 at 18:14)</a>:</h4>
<p>I guess some next steps would be:</p>
<ul>
<li>Creating the <code>Overrides</code> goal</li>
<li>Inserting the <code>Overrides</code> goals into the lowering</li>
</ul>
<p>both of these ought to be no-ops</p>



<a name="167216019"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.06.03/near/167216019" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E06.2E03.html#167216019">(Jun 03 2019 at 18:14)</a>:</h4>
<p>things get more interesting when we generate <code>Overrides</code> program clauses</p>



<a name="167216053"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.06.03/near/167216053" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E06.2E03.html#167216053">(Jun 03 2019 at 18:15)</a>:</h4>
<p>(because, until then, <code>Overrides</code> would always be trivially false, so things like <code>not { Overrides(..) }</code> are just immediately true)</p>



<a name="167216252"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.06.03/near/167216252" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E06.2E03.html#167216252">(Jun 03 2019 at 18:17)</a>:</h4>
<p>(Sorry, I don't have a ton of time to engage with what you're saying right at this moment, but I am writing it all down so I can review it later and ask questions/talk more if we need to)</p>



<a name="167216559"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.06.03/near/167216559" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E06.2E03.html#167216559">(Jun 03 2019 at 18:21)</a>:</h4>
<p>I'll drop some more notes in the issue</p>



<a name="167216615"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202019.06.03/near/167216615" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202019.2E06.2E03.html#167216615">(Jun 03 2019 at 18:22)</a>:</h4>
<blockquote>
<p>Also, does it make sense to try and do a zoom call later today?</p>
</blockquote>
<p>I'm going to assume this does not make sense today -- which is fine, I'll use the time to write things down and/or do reviews.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>